-
1 исчисление высказываний
исчисление высказываний
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление высказываний
-
2 исчисление высказываний
-
3 исчисление высказываний
Русско-английский новый политехнический словарь > исчисление высказываний
-
4 исчисление высказываний
Русско-английский военно-политический словарь > исчисление высказываний
-
5 исчисление высказываний
1. sentential calculus2. propositional calculusРусско-английский большой базовый словарь > исчисление высказываний
-
6 исчисление высказываний
Русско-английский словарь по информационным технологиям > исчисление высказываний
-
7 исчисление высказываний
1) <math.> propositional calculus
2) sentential calculusРусско-английский технический словарь > исчисление высказываний
-
8 исчисление высказываний
1) Engineering: propositional calculus2) Mathematics: PC (propositional calculus), sentence calculus, sentential calculus3) Information technology: prepositional calculus, sententional calculusУниверсальный русско-английский словарь > исчисление высказываний
-
9 исчисление высказываний
Русско-английский словарь по машиностроению > исчисление высказываний
-
10 исчисление высказываний
neng. AussagenkalkülУниверсальный русско-немецкий словарь > исчисление высказываний
-
11 исчисление высказываний
чи́слення висло́влювань, чи́слення ви́словленьРусско-украинский политехнический словарь > исчисление высказываний
-
12 исчисление высказываний
чи́слення висло́влювань, чи́слення ви́словленьРусско-украинский политехнический словарь > исчисление высказываний
-
13 исчисление высказываний
Dictionnaire russe-français universel > исчисление высказываний
-
14 исчисление высказываний
propositional calculus, sentential calculusРусско-английский словарь по электронике > исчисление высказываний
-
15 исчисление высказываний
Russian-german polytechnic dictionary > исчисление высказываний
-
16 исчисление высказываний
propositional calculus, sentential calculusРусско-английский словарь по радиоэлектронике > исчисление высказываний
-
17 исчисление высказываний
Русско-английский словарь по вычислительной технике и программированию > исчисление высказываний
-
18 исчисление высказываний
• výrokový kalkulus -
19 исчисление высказываний
Русско-английский словарь по нефти и газу > исчисление высказываний
-
20 исчисление высказываний
См. также в других словарях:
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами. И. в. может быть формализовано различными способами: с помощью задания аксиом и правил вывода, т. е.… … Философская энциклопедия
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — раздел математической логики, аксиоматическое построение логики высказываний … Большой Энциклопедический словарь
исчисление высказываний — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN propositional calculus … Справочник технического переводчика
Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
исчисление высказываний — раздел математической логики, аксиоматическое построение логики высказываний. * * * ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний (см. ЛОГИКА ВЫСКАЗЫВАНИЙ) … Энциклопедический словарь
Исчисление высказываний — исчисление суждений, раздел математической логики (См. Математическая логика), в котором формально аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с … Большая советская энциклопедия
ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. и. в. была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. исчисления… … Математическая энциклопедия
Интуиционистское исчисление высказываний — Интуиционистское исчисление высказываний формальная система, отражающие некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930. Основное отличие от привычного исчисления высказываний… … Википедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) … Википедия
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия